cmd{-}history($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}interface{-}history(${\it es}$;$\lambda$$x$.sys{-}cmds($x$)'${\it Sys}$(valid);$e$)